Quan hệ thứ tự một phần là một khái niệm trong so sánh trong đó hai phần tử x và y chỉ nằm duy nhất một trong bốn quan hệ sau: hoặc x < y, hoặc x = y, hoặc x > y, hoặc x và y không so sánh được với nhau.[2][3]

Tập hợp đi cùng quan hệ thứ tự một phần được gọi là tập hợp sắp thứ tự một phần. Tập hợp sắp thứ tự một phần thường được vẽ qua biểu đồ Hasse.[4]